$P_{1}$ $\Leftarrow\!$ $P_{2}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$P_{2}$ $\Rightarrow$ $P_{1}$